Improve description of the CEA #2839
Open
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
I wonder if here we necessarily want to put CEA or if we should detail it with only CEA-List. I'll have a discussion with colleagues at CEA to determine what we should do :) |
|
@AllanBlanchard Any update on this? |
|
Ok, apparently, I cannot push on the branch. To the best of our knowledge, only CEA List has an industrial use OCaml at CEA. So suggestions:
---
name: CEA
description: >
CEA-List brings together experts in smart digital systems. They are committed to developing high-added-value innovations that respond to the major challenges facing our economy and society.
url: "https://list.cea.fr/en/"
logo: users/cea-list.png
locations:
- France
consortium: true
featured: true
---
CEA-List is one of three institutes of the CEA (French Alternative Energies and Atomic Energy Commission) Technology Research Division. It has sites in the innovation hubs of Paris-Saclay and Grenoble, France.
It is committed to developing high-added-value innovations that respond to the major challenges facing our economy and society.
Its R&D programs address the factory of the future, digital twins, artificial intelligence, and digital trust. They are backed by innovation and tech transfer mechanisms designed to help R&D partners stay competitive.
CEA-List has developed several software tools using OCaml:
- [Frama-C](https://www.frama-c.com/) dedicated to analysis of C code,
- [Binsec](https://binsec.github.io/) dedicated to analysis of binary code,
- [Caisar](https://www.caisar-platform.com/) dedicated to the trustworthiness of AI-based software,
- [Colibri2](https://colibri.frama-c.com/) a constraint solver,
- [Why3find](https://git.frama-c.com/pub/why3find) an equivalent of ocamlfind for Why3 (with many more features related to program proof).
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.